An Industrial Application of Modal Process Logic
نویسنده
چکیده
Modal process logic is an extension of CCS that allows for more expressive specifications. We show how modal process logic was successfully applied in the development of a failure recovery protocol for an air-traffic information system now in service at Heathrow airport. Two example systems are used to show that CCS itself was not suitable for this application.
منابع مشابه
Assessment of Critical Fire Risks in an Industrial Estate Using a Combination of Fuzzy Logic, Expert Elicitation, Bow-tie, and Monte Carlo Methods
Background and Objective: Industrial estates have been described as highly prone to fire incidents. According to the baseline studies, more than 85% of the industrial accidents occurring in industrial estates during the 80s and 90s were fire incidents affecting more than one factory in 10% of the cases. Materials and Methods: After the identification of 30 high-risk industries in Abbasabad i...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملModal Decomposition of a Nonlinear Tubular Reactor Model : a Control Perspective
This paper focuses on the application of modal decomposition to a nonlinear convection-reaction-diffusion distributed parameter system (DPS). More precisely it will concentrate on the dynamical model of an industrial pulp bleaching tubular reactor described by nonlinear partial differential equations (PDEs). The objective of the modal decomposition is to generate, for control design, a discreti...
متن کاملChallenges in Mobile Multimodal Application Architecture
The multimodal application had been considered for promising mobile applications in early 2000. An industrial forum terminated its 7-year effort to make standardization of mobile multi-modal applications. Many researchers and industrial players still think mobile multimodal applications as rich opportunities of new services. The author attempts to analyze the gap between these two different asp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Sci. Comput. Program.
دوره 29 شماره
صفحات -
تاریخ انتشار 1997